Proofs of trigonometric identities